type rec expr =
  | Cst(int)
  | Add(expr)
  | Mul(expr, expr)
  | Var({bind: int, stack_index: int})
  | Let(expr, expr)
